EN FR
EN FR




Section: Dissemination

Teaching

  • Licence : Imperative Programming and scientific computation, 36h, L2, Univ. Rennes 1, France.

  • Licence : Programming, 20h, L2 Univ. Rennes 1, France.

  • Licence : Algorithmic methods, 96h, L3, Istic, Rennes France

  • Licence : Graph algorithms, 20h, L3, Istic, Rennes France

  • Licence : Programming, 78h, L3, Univ. Rennes 1, France.

  • Licence : Web programming, 26h, L3, Univ. Rennes 1, France.

  • Licence : Network provisioning, 20h, L3, Univ. Rennes 1, France.

  • Licence : Operations research, 30h, L3, Univ. Rennes 1, France.

  • Licence : Architectures and Systems, 64h, L3, ENS Cachan, Rennes, France

  • Licence : Database, 21h, L3, Istic Univ. Rennes 1 France

  • Licence : Architectures, 50h, L3, Istic Univ. Rennes 1 France

  • Master : Compilation, 32h, M1, Univ. Rennes 1, France.

  • Master : Operations research, 100h, M1, Univ. Rennes 1, France.

  • Master : Logic Programming, 32h, M1, Istic Univ. Rennes 1 France

  • Master : Dynamical systems for biological networks, 16h, M2, Univ. Rennes 1, France

  • Master : Programmation Objet, 15h, M2, Univ. Rennes 1, France

  • Master : Sequence algorithms, 29h, M2, Univ. Rennes 1, France

  • Master : Bioinformatics, 12h, M2, ESEO Angers, France

  • Master : Symbolic sequential data, 10h, Univ. Rennes 1, France

  • Master : Bioinformatics, 3h, M2, Istic Univ. Rennes 1 France

  • Master : Numerical and combinatorial optimization, 12h, M2, Univ. Rennes 1, France.

  • Master : Modelling of protein structures, 15h, M2, Univ. Rennes 1, France.

  • PhD defense : Matthias Gallé, Searching for Compact Hierarchical Structures in DNA by means of the Smallest Grammar Problem[1] , supervised by J. Nicolas and G. Infante-Lopez (Argentine), defended on Februrary 15th 2011 [online manuscript: http://tel.archives-ouvertes.fr/tel-00595494_v1/]

  • PhD defense : Guillaume Rizk, Parallélisation sur matériel graphique : contributions au repliement d'ARN et à l'alignement de séquences[2] , supervised by D. lavenier, defended on April 12th 2011 [online manuscript: http://tel.archives-ouvertes.fr/tel-00634901/]

  • PhD in progress : Oumarou Abdou-Arbi Analyse Automatisée et générique des réseaux métaboliques en nutrition, started in October 2010, supervised by A. Siegel and T. Tabsoba (Burkina-Faso).

  • PhD in progress : Geoffroy Andrieux, Discrete approach modeling of biological signaling pathway, started in October 2010, supervised by N. Théret (Inserm) and M. Le Borgne

  • PhD in progress : Andres Aravena, Introduire des approches combinatoires dans des modèles probabilistes pour la découverte d’évènements de régulation d’un système biologique à partir de données hétérogènes, started in July 2011, supervised by A. Maass (CMM, University of Chile) and A. Siegel.

  • PhD in progress : Guillaume Chapuis, Bioinformatique parallèle, started in October 2010, supervised by D. Lavenier

  • PhD in progress: Rayan Chikhi, Computational theory for de novo assembly of short sequencing reads, started in October 2008, supervised by D. Lavenier

  • PhD in progress : Gaëlle Garet, Discovery of enzymatic functions in the framework of formal languages, started in October 2011, supervised by J. Nicolas and F. Coste.

  • PhD in progress : Mathilde Le Boudic-Jamin, Through Flexible Protein-Protein Docking, started in October 2011, supervised by R. Andonov

  • PhD in progress : Nicolas Maillet, Algorithme pour l'assemblage de données NGS de métagénomique, started in November 2010, supervised by D. Lavenier and P. Peterlongo

  • PhD in progress : Sylvain Prigent, Modélisation par contraintes pour le contrôle génomique et physiologique de l'adaptation des algues brunes à la salinité de l'eau, started in October 2011, supervised by A. Siegel and T. Tonon (UMR 7150, station biologique de Roscoff)

  • PhD in progress : Santiago Videla, Applying logic programming to the construction of robust predictive and multi- -scale models of bioleaching bacteria, started in November 2011, supervised by A. Siegel

  • PhD in progress : Valentin Wucher, Modélisation d'un réseau de régulation d'ARN pour prédire des fonctions de gènes impliqués dans le mode de reproduction du puceron du pois, started in November 2011, supervised by J. Nicolas and D. Tagu (INRA)